#ifndef _DRIVER_TIMER_H
#define _DRIVER_TIMER_H

#include <stdint.h>

void delay_us(int us);
void delay_ms(int ms);

uint64_t system_get_ns(void);

#endif /* _DRIVER_TIMER_H */
